Platform-independent modeling of explicitly parallel programs
نویسندگان
چکیده
We propose a model-driven approach to parallel programming of SPMD-style, explicitly parallel computations. We define an executable, platform-independent modeling language with explicitly parallel control and data flow for an abstract parallel computer with shared address space, and implement it as an extension of UML2 activity diagrams and a generator for Fork source code that can be compiled and executed on a high-level abstract parallel machine simulator. We also sketch how to refine the modeling language to address more realistic parallel platforms.
منابع مشابه
Design and Dynamic Modeling of Planar Parallel Micro-Positioning Platform Mechanism with Flexible Links Based on Euler Bernoulli Beam Theory
This paper presents the dynamic modeling and design of micro motion compliant parallel mechanism with flexible intermediate links and rigid moving platform. Modeling of mechanism is described with closed kinematic loops and the dynamic equations are derived using Lagrange multipliers and Kane’s methods. Euler-Bernoulli beam theory is considered for modeling the intermediate flexible link. Based...
متن کاملParallel computing using MPI and OpenMP on self-configured platform, UMZHPC.
Parallel computing is a topic of interest for a broad scientific community since it facilitates many time-consuming algorithms in different application domains.In this paper, we introduce a novel platform for parallel computing by using MPI and OpenMP programming languages based on set of networked PCs. UMZHPC is a free Linux-based parallel computing infrastructure that has been developed to cr...
متن کاملThe Impact of Communication Style on Machine Resource Usage for the iWarp Parallel Processor
Programs executing on a private-memory parallel system exchange data by explicitly sending and receiving messages. Two communication styles have been identified for such systems: memory communication (each message exchanged between two processors is buffered in memory, e.g. as in message passing) and systolic communication (each word of a message is transmitted directly from the sender processo...
متن کاملOptimizing Mutual Exclusion Synchronization in Explicitly Parallel Programs
We present two new compiler optimizations for explicitly parallel programs based on the CSSAME form: Lock-Independent Code Motion (LICM) and Mutex Body Localization (MBL). We have implemented these optimizations on top of the SUIF framework and present performance results for selected SPLASH applications.
متن کاملAnalysis and Optimization of Explicitly Parallel Programs Using the Parallel Program Graph Representation Analysis and Optimization of Explicitly Parallel Programs Using the Parallel Program Graph Representation
As more and more programs are written in explicitly parallel programming languages , it becomes essential to extend the scope of sequential analysis and optimization techniques to explicitly parallel programs. Since the deenition of a program dependence graph (PDG) is strongly tied to its underlying sequential program, the PDG is an inadequate intermediate representation for analysis and optimi...
متن کامل